苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

西方自由主义契约正义观解析——兼论正义观的形成及其合理性

自由主义认为,正义源于契约,通过契约正义本身就得到了证明.这是对契约与正义之间关系的误解.契约必然能导向形式正义,但并非必然能导向实质正义.依据价值基本原理,实质正义是正义实体与正义标准发生联系时的客观属性,与契约没有直接关联.     

The California Coastal Act and Ports: The Unintended Environmental Justice Implications of Preserving California's Coastline

Consistent with the policies set forth in the Coastal Zone Management Act, the California Coastal Act seeks to balance the utilization and conservation of coastal resources, taking into account the social and economic needs of the citizens of California. One way the statute pursues this balance is through its provisions for ports. These provisions have functioned as a type of smart growth planning for ports, encouraging densification of existing port districts and possibly averting maritime commercial and industrial sprawl along the California coast. One unintended consequence of the encouraged consolidation of port activities, when combined with the rapid growth in international trade over the last four decades, has been disproportionally large environmental and health impacts on low-income and minority communities surrounding ports. This article examines how the Port of Long Beach's conformance with the California Coastal Act has resulted in ongoing environmental justice concerns. It discusses approaches employed by the Port of Long Beach to reduce environmental justice concerns resulting from significant and unavoidable environmental impacts and offers suggestions for how to address this issue.     

形式美在汽车灯具产品设计中的应用

汽车灯具产品的设计已从对功能的需求扩展到对美的追求,因而懂得美学已成为产品设计者的一项基本要求。本文简述审美及形式美的概念,列举一些形式美的常见形式,论述形式美在汽车灯具产品设计中的应用和具体表现。     

FSA在青岛港港口水域通航安全评估中的应用

在规范化安全评估(FSA)的框架下,本文利用模糊数学理论对船舶在港口水域中的通航安全进行了科学有效的评估,评估结果能够很好地反映船舶在港口水域航行的安全状况。这对减少船舶事故、促进港口通航效率都具有十分重要的意义。     

铁路既有线桥梁换梁施工中支座处理技术

在铁路既有线桥梁换梁施工中,支座系统的处理方案关系到换梁的速度和行车的安全,以京广线汉水桥钢板梁更换施工为背景,介绍一种支座处理技术。该桥采用QZ球型钢支座替换弧形板式钢支座,新支座安装位置与原支座位置相同,但其下摆较原支座扩大并预留了钻孔空间。在钢板梁更换前,进行正式支座地脚螺栓钻孔,采用预埋钢板方式施工临时支座垫石,然后安装临时支座并更换钢板梁,保证铁路正常运营,最后进行垫石改造和正式支座的施工,待正式支座施工完成后再进行支座受力转换。实践表明,采用该技术在铁路既有线短暂的封锁时间内进行钢板梁更换是切实可行的,施工过程中确保了行车安全。     

保障人权--我国刑事司法改革的基本价值

任何改革都需要遵循一定的价值，这决定着改革的其他价值设定和改革的目标、步骤和方法。保障人权就是刑事司法改革的基本价值。这决定着改革在保障人权的前提下追求公正、效率、平等的实现。与国际人权公约相适应的同时，要求改革本身的合法化和程序化，并实现我国刑事法制的现代化。     

基于有色Petri网的RBC行车许可生成建模与仿真

CTCS-3级列控系统行车许可是保证高速列车安全运行的关键信息,及时准确地为辖区内列车计算和发送行车许可是RBC(无线闭塞中心)子系统的主要功能之一。在分析CTCS-3级列控系统不同运营场景下行车许可生成机制的基础上,采用层次化描述思想,建立基于CPN(有色Petri网)的RBC行车许可生成模型,并运用动态仿真和状态空间分析工具对模型进行了仿真分析。结果表明,所建模型能够满足不同运营场景下计算行车许可的要求,无死锁,并具有活性、回归性和公平性,为分析列控系统性能提供了很好的试验平台。     

论社会主义法治化进程中的司法生态建设

司法生态的发展呈现出正熵和负熵两种状态,负熵形态深入人心。但是,司法生态的正熵发展引发的司法"生态畸形"产生了巨大的社会危害性,仍然不可忽视,分析其产生的各种根源,并提出相应的建议和对策,以期对司法环境的友好构建,实现司法生态和谐有所裨益。     

冲突与平衡：和谐视野中刑事政策的法治边界——宽严相济刑事政策理论与实践研究之六

基于刑事政策自身功能和结构的考量,刑事政策的政策性与法律性的内在紧张始终存在。刑事政策游走于政策和法律之间,对其法治边界的扩张或紧缩,应关注对犯罪反应的有效性和正当性。以和谐法治为统领,架构权力（权利）的法治化博弈机制,在冲突中寻求平衡,于平衡处保持和谐。宽严相济刑事政策应通过法治要素的不断提升,根据宪法和＂良法之刑法＂,在立法和司法两个场域实现刑事法治和善治。